プログラミング・セミナー プログラム検証論やぶにらみ